Computer optimization

Results: 3360



#Item
101Theoretical computer science / Mathematics / Mathematical optimization / Numerical analysis / Combinatorial optimization / Operations research / Constraint programming / Logic in computer science / Maximum satisfiability problem / Linear programming / Constrained optimization / Solver

Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2010-05-18 11:55:34
102Mathematics / NP-complete problems / Theory of computation / Scheduling / Theoretical computer science / Combinatorial optimization / Independent set / Makespan / Approximation algorithm / Matching / Operations research / Truthful job scheduling

Anna Adamaszek, Andreas Wiese Tutorials: Marvin K¨ unnemann Summer 2014

Add to Reading List

Source URL: resources.mpi-inf.mpg.de

Language: English - Date: 2014-06-04 08:45:27
103Computational neuroscience / Neuroscience / Nervous system / Artificial neural networks / Statistics / Multivariate statistics / Biophysics / Biological neuron model / Principal component analysis / Artificial neuron / Spike-timing-dependent plasticity / Hebbian theory

Simplified Rules and Theoretical Analysis for Information Bottleneck Optimization and PCA with Spiking Neurons Lars Buesing, Wolfgang Maass Institute for Theoretical Computer Science

Add to Reading List

Source URL: www.gatsby.ucl.ac.uk

Language: English - Date: 2014-10-13 19:51:13
104Sorting algorithms / Computing / Data processing / Mathematics / Algorithm / Mathematical logic / Theoretical computer science / Sorting / Sort / Computational complexity theory / Program optimization / Selection algorithm

A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2013-09-09 04:58:26
105Data management / Computing / Information science / Query optimization / SQL / Directed acyclic graph / Bin / Theoretical computer science / Database theory / Search algorithms / Lowest common ancestor / Conjunctive query

Querying DAG-shaped Execution Traces Through Views Maya Ben-Ari Tova Milo Elad Verbin

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English - Date: 2009-10-31 07:01:31
106Mathematics / Mathematical logic / Science and technology / Theoretical computer science / Algorithm / Computational complexity theory / Mathematical optimization / Word problem / Algorithm characterizations

A Mathematical-Algorithmic Approach to Sets: A Case Study Judith Gal-Ezer1 Orna Lichtenstein2 April 1996 Abstract The aim of this paper is to show, by means of a mathematical example, how

Add to Reading List

Source URL: www.openu.ac.il

Language: English - Date: 2004-09-27 01:19:28
107Palm OS / Palm OS Emulator / Software / Computer architecture / System software

Advanced Route Optimization and Real Time Windows Arriving onsite within a specific, customer convenient, time window guarantees improved customer satisfaction and enhances overall company efficiency. > >

Add to Reading List

Source URL: copilotpro.com

Language: English - Date: 2015-05-05 22:35:00
108Software engineering / Computing / Computer programming / Object-oriented programming languages / Object-oriented programming / Concurrent programming languages / Sun Microsystems / Cross-platform software / Java / Constructor / This / Objective-C

To appear in: Concurrency: Practice & Experience, Vol. 11, Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher Computer Science Department, University of K

Add to Reading List

Source URL: www.haumacher.de

Language: English - Date: 2009-01-31 15:30:03
109Computer vision / Active shape model / Vision / Mathematical optimization / 3D modeling

3D Shape Estimation from 2D images Goal: The goal is to implement and evaluate [1] Description: Why are human so good at estimating 3D shapes of objects from simple 2D photographies ? This mostly comes from our visual me

Add to Reading List

Source URL: www.cvg.ethz.ch

Language: English - Date: 2016-02-17 12:49:15
110Computing / Arrays / Software / Computer performance / Lookup table / Software optimization / Form

How to look up a Disbursement Voucher (DV) Summary: This document instructs users how to look up a Disbursement Voucher (DV) in KFS. Steps

Add to Reading List

Source URL: apps.adcom.uci.edu

Language: English - Date: 2016-04-25 14:56:37
UPDATE